Nuprl Definition : w-snds
0,22
postcript
pdf
snds(
l
;
t
) == concat(map(
t1
.m(
l
;
t1
);upto(
t
)))
latex
clarification:
w-snds(
w
;
l
;
t
) == concat(map(
t1
.w-ml(
w
;
l
;
t1
);upto(
t
)))
latex
Definitions
upto(
n
)
,
m(
l
;
t
)
,
map(
f
;
as
)
,
concat(
ll
)
FDL editor aliases
w-snds
origin
t1.m(l;t1);upto(t)))
t1.w-ml(w; l; t1);upto(t))) t1.m(l;t1);upto(t)))
t1.w-ml(w; l; t1);upto(t)))